#include <stdio.h>
#include <stdint.h>
#include <inttypes.h>
#include <vector>

using namespace std;

#if __WORDSIZE == 64
#define U64 "lu"
#else
#define U64 "llu"
#endif

uint64_t i;
vector<int> v;

int foo() {
	v.push_back(1);
        uint64_t i = 5;
	printf("v size %zu %s %"U64".\n", v.size(), U64, i);

	//int32_t result_value = 2;
	//printf("Result = %" PRIx32 "\n", result_value);

	return 1;
}

int main (int argc, char *argv[]) {
	return foo();
}
